Batura zuzen

Algebra abstraktuan, batura zuzena egitura algebraiko bateko elementuen arteko eragiketa mota bat da. Egitura bakoitzean (talde abeldar, bektore espazio, modulu...) definizio ezberdin bat du baina denek dute zerbait amankomunean: Egituraren elementu bakoitzak adierazpen bakarra du hau eratzen duten azpiegituren elementuen eragiketa gisa.

Batura zuzena ${\displaystyle \oplus }$ ikurrarekin adierazten da:

• ${\displaystyle A}$ eta ${\displaystyle B}$ bi egitura izanik, bien arteko batura zuzena ${\displaystyle A\oplus B}$ da.
• ${\displaystyle A_{i}}$ egiturako indezedun familia bat izanik, non ${\displaystyle i\in I}$ finitua den, batura zuzena ${\displaystyle \bigoplus _{i\in I}A_{i}}$ da.

Batura zuzena egitura algebraiko bereko nahi adina batukari kopuru finiturekin egin daiteke, hala nola, ${\displaystyle A\oplus B\oplus C}$. Honek oinarritzat batura zuzena elkarkorra dela du, hau da, ${\displaystyle (A\oplus B)\oplus C\cong A\oplus (B\oplus C)}$.